#unspecified
#unspecified
#unspecified
#unspecified
=============== Define VP-embedding wanted ==============
(Processing:  (B A1L Justin wanted himself A2LR to be asleep))

-------------------
edge      : 2833 B A1L Justin wanted himself A2LR to be asleep	(0 9)	((e \1 t) /2 (e \ t)) 
semantics : (^ r (^ x (^ w (forall v ((D w (x w) v) -> ((r x) v))))))
proofnet  : ((((1 . e) \1 (2 . t)) /2 ((3 . e) \ (4 . t))) (B ((((1 . e) \1 (2 . t)) // ((5 . e) \\ ((6 . e) > (2 . t)))) / (((1 . e) \1 (2 . t)) // ((1 . e) \\ (2 . t))))) (A1L ((((1 . e) \1 (2 . t)) // ((1 . e) \\ (2 . t))) / (1 . e))) (Justin (1 . e)) (wanted (((5 . e) \ (2 . t)) / (4 . t))) (himself (((6 . e) > (2 . t)) // ((3 . e) \\ (2 . t)))) (A2LR (((((1 . e) \1 (2 . t)) /2 ((3 . e) \ (4 . t))) // (((3 . e) \ (4 . t)) \\ ((1 . e) \1 (2 . t)))) / ((3 . e) \ (4 . t)))) (to (((3 . e) \ (4 . t)) / ((7 . e) \V (8 . t)))) (be (((7 . e) \V (8 . t)) / ((9 . e) \A (10 . t)))) (asleep ((9 . e) \A (10 . t))))
derivation: ((D (U D)) ((Z (U D)) (((D (U Z)) ((Z (U Z)) ((Z (U U)) ((Z (U L)) (B (A1L Justin)))))) (((D (U Z)) ((D (U U)) (Z (U wanted)))) (((D (U Z)) ((D (U U)) ((D (U Z)) ((Z (U L)) himself)))) ((Z (U U)) (A2LR (to (be asleep)))))))))
4601 edges -- Done parsing.
#<output_port:stdout>
=============== Use the defined word  ==============
(Processing:  (Justin wanted to be asleep))

-------------------
edge      : 164 Justin wanted to be asleep	(0 5)	t 
semantics : (^ w (forall v ((D w j v) -> (sleep v j))))
proofnet  : ((1 . t) (Justin (2 . e)) (wanted (((2 . e) \ (1 . t)) / ((3 . e) \ (4 . t)))) (to (((3 . e) \ (4 . t)) / ((5 . e) \V (6 . t)))) (be (((5 . e) \V (6 . t)) / ((7 . e) \A (8 . t)))) (asleep ((7 . e) \A (8 . t))))
derivation: ((D (U Justin)) (wanted (to (be asleep))))
264 edges -- Done parsing.
#<output_port:stdout>
